On an action of the braid group B_{2g+2} on the free group F_{2g}

We construct an action of the braid group B_{2g+2} on the free group F_{2g} extending an action of B_4 on F_2 introduced earlier by Reutenauer and the author. Our action induces a homomorphism from B_{2g+2} into the symplectic modular group Sp_{2g}(Z). In the special case g=2 we show that the latter homomorphism is surjective and determine its kernel, thus obtaining a braid-like presentation of Sp_4(Z).Comment: 11 pages. Minor changes in v

Mapping class group and U(1) Chern-Simons theory on closed orientable surfaces

U(1) Chern-Simons theory is quantized canonically on manifolds of the form $M=\mathbb{R}\times\Sigma$, where $\Sigma$ is a closed orientable surface. In particular, we investigate the role of mapping class group of $\Sigma$ in the process of quantization. We show that, by requiring the quantum states to form representation of the holonomy group and the large gauge transformation group, both of which are deformed by quantum effect, the mapping class group can be consistently represented, provided the Chern-Simons parameter $k$ satisfies an interesting quantization condition. The representations of all the discrete groups are unique, up to an arbitrary sub-representation of the mapping class group. Also, we find a $k\leftrightarrow1/k$ duality of the representations.Comment: 17 pages, 3 figure

Braids of entangled particle trajectories

In many applications, the two-dimensional trajectories of fluid particles are available, but little is known about the underlying flow. Oceanic floats are a clear example. To extract quantitative information from such data, one can measure single-particle dispersion coefficients, but this only uses one trajectory at a time, so much of the information on relative motion is lost. In some circumstances the trajectories happen to remain close long enough to measure finite-time Lyapunov exponents, but this is rare. We propose to use tools from braid theory and the topology of surface mappings to approximate the topological entropy of the underlying flow. The procedure uses all the trajectory data and is inherently global. The topological entropy is a measure of the entanglement of the trajectories, and converges to zero if they are not entangled in a complex manner (for instance, if the trajectories are all in a large vortex). We illustrate the techniques on some simple dynamical systems and on float data from the Labrador sea.Comment: 24 pages, 21 figures. PDFLaTeX with RevTeX4 macros. Matlab code included with source. Fixed an inconsistent convention problem. Final versio

Abelian covers of surfaces and the homology of the level L mapping class group

We calculate the first homology group of the mapping class group with coefficients in the first rational homology group of the universal abelian $\Z / L \Z$-cover of the surface. If the surface has one marked point, then the answer is \Q^{\tau(L)}, where $\tau(L)$ is the number of positive divisors of $L$. If the surface instead has one boundary component, then the answer is \Q. We also perform the same calculation for the level $L$ subgroup of the mapping class group. Set $H_L = H_1(\Sigma_g;\Z/L\Z)$. If the surface has one marked point, then the answer is \Q[H_L], the rational group ring of $H_L$. If the surface instead has one boundary component, then the answer is \Q.Comment: 32 pages, 10 figures; numerous corrections and simplifications; to appear in J. Topol. Ana

Stability of the magnetic Schr\"odinger operator in a waveguide

The spectrum of the Schr\"odinger operator in a quantum waveguide is known to be unstable in two and three dimensions. Any enlargement of the waveguide produces eigenvalues beneath the continuous spectrum. Also if the waveguide is bent eigenvalues will arise below the continuous spectrum. In this paper a magnetic field is added into the system. The spectrum of the magnetic Schr\"odinger operator is proved to be stable under small local deformations and also under small bending of the waveguide. The proof includes a magnetic Hardy-type inequality in the waveguide, which is interesting in its own

Distance and intersection number in the curve graph of a surface

In this work, we study the cellular decomposition of $S$ induced by a filling pair of curves $v$ and $w$, $Dec_{v,w}(S) = S - (v \cup w)$, and its connection to the distance function $d(v,w)$ in the curve graph of a closed orientable surface $S$ of genus $g$. Efficient geodesics were introduced by the first author in joint work with Margalit and Menasco in 2016, giving an algorithm that begins with a pair of non-separating filling curves that determine vertices $(v,w)$ in the curve graph of a closed orientable surface $S$ and computing from them a finite set of {\it efficient} geodesics. We extend the tools of efficient geodesics to study the relationship between distance $d(v,w)$, intersection number $i(v,w)$, and $Dec_{v,w}(S)$. The main result is the development and analysis of particular configurations of rectangles in $Dec_{v,w}(S)$ called \textit{spirals}. We are able to show that, in some special cases, the efficient geodesic algorithm can be used to build an algorithm that reduces $i(v,w)$ while preserving $d(v,w)$. At the end of the paper, we note a connection of our work to the notion of extending geodesics.Comment: 20 pages, 17 figures. Changes: A key lemma (Lemma 5.6) was revised to be more precise, an irrelevant proposition (Proposition 2.1) and example were removed, unnecessary background material was taken out, some of the definitions and cited results were clarified (including added figures,) and Proposition 5.7 and Theorem 5.8 have been merged into a single theorem, Theorem 4.

Braid Group, Gauge Invariance and Topological Order

Topological order in two-dimensional systems is studied by combining the braid group formalism with a gauge invariance analysis. We show that flux insertions (or large gauge transformations) pertinent to the toroidal topology induce automorphisms of the braid group, giving rise to a unified algebraic structure that characterizes the ground-state subspace and fractionally charged, anyonic quasiparticles. Minimal ground state degeneracy is derived without assuming any relation between quasiparticle charge and statistics. We also point out that noncommutativity between large gauge transformations is essential for the topological order in the fractional quantum Hall effect.Comment: 5pages, 2 figures; reference adde

Abelian subgroups of Garside groups

In this paper, we show that for every abelian subgroup $H$ of a Garside group, some conjugate $g^{-1}Hg$ consists of ultra summit elements and the centralizer of $H$ is a finite index subgroup of the normalizer of $H$. Combining with the results on translation numbers in Garside groups, we obtain an easy proof of the algebraic flat torus theorem for Garside groups and solve several algorithmic problems concerning abelian subgroups of Garside groups.Comment: This article replaces our earlier preprint "Stable super summit sets in Garside groups", arXiv:math.GT/060258

Dual generators of the fundamental group and the moduli space of flat connections

We define the dual of a set of generators of the fundamental group of an oriented two-surface $S_{g,n}$ of genus $g$ with $n$ punctures and the associated surface $S_{g,n}\setminus D$ with a disc $D$ removed. This dual is another set of generators related to the original generators via an involution and has the properties of a dual graph. In particular, it provides an algebraic prescription for determining the intersection points of a curve representing a general element of the fundamental group $\pi_1(S_{g,n}\setminus D)$ with the representatives of the generators and the order in which these intersection points occur on the generators.We apply this dual to the moduli space of flat connections on $S_{g,n}$ and show that when expressed in terms both, the holonomies along a set of generators and their duals, the Poisson structure on the moduli space takes a particularly simple form. Using this description of the Poisson structure, we derive explicit expressions for the Poisson brackets of general Wilson loop observables associated to closed, embedded curves on the surface and determine the associated flows on phase space. We demonstrate that the observables constructed from the pairing in the Chern-Simons action generate of infinitesimal Dehn twists and show that the mapping class group acts by Poisson isomorphisms.Comment: 54 pages, 13 .eps figure